# Python中使用re模块来操作正则表达式
import re

# 例如，使用re.match来匹配字符串开头的模式
pattern = r'1[34578][0-9]{9}'
text = '123abc456def'
match = re.match(pattern, text)
print(match)